Wyniki
-
Semantics for a class of intuitionistic modal calculi
Gisele Fischer Servi
Bulletin of the Section of Logic , 7 /1 (1978) s. 26-30 -
On modal logics with an intuitionistic base
Gisele Fischer Servi
Bulletin of the Section of Logic , 6 /1 (1977) s. 32-34